rational metamathematics

理性元数学

热门查询

constructor　　n. 构造函数；构造器；建造者
realism　　n. 现实主义；实在论；现实主义的态度和行为
genteel　　adj. 有教养的，文雅的；上流社会的
glower　　n. 怒视；热切的注视；灯丝 n. (Glower)人名；(英)格洛尔 vi. 怒目而视；瞪眼
unbuttoned　　adj. 钮扣解开的；无拘束的；放松的
alone　　adj. 独自的；单独的；孤独的 adv. 独自地；单独地
Clio　　n. 主管史诗、历史的女神
internode　　n. [生物] 节间；（神经纤维内部的）[生物] 节间
jojoba　　n. 荷荷巴油；希蒙得木油；加州希蒙得木
correctable　　adj. 可校正的
inward　　n. 内部；内脏；密友 adj. 向内的；内部的；精神的；本质上的；熟悉的 adv. 向内；内心里 n. (Inward)人名；(英)英沃德
stellar　　adj. 星的；星球的；主要的；一流的
cacti　　n. [园艺] 仙人掌（cactus的复数形式）
deport　　vt. 驱逐出境；举止；放逐 n. (Deport)人名；(捷)德波特；(法)德波尔
peculiar　　n. 特权；特有财产 adj. 特殊的；独特的；奇怪的；罕见的
outcome　　n. 结果，结局；成果
timothy　　n. [植] 梯牧草
puff　　n. 粉扑；泡芙；蓬松；一阵喷烟；肿块；吹嘘，宣传广告 vt. 喷出，张开；使膨胀；夸张；使骄傲自满 vi. 膨胀；张开；鼓吹；夸张 n. (Puff)人名；(德)普夫
LWT　　n. lineweight settings AUTOCAD里面线型设置的缩写; 激光薄片微调
Gilchrist　　吉尔克里斯特